Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
Enhancing GAN Texture Synthesis via Adaptive Spectral Normalization & Frequency Domain Refinement
dev.to·20h·
Discuss: DEV
🧠Neural Compression
How I hacked the Placement portal of my college to leak the entire SQL database
infosecwriteups.com·16h
🗄️Database Internals
GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A)
gwsc-3fa.org·6h·
Discuss: Hacker News
🔐Capability Systems
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Nvmath-Python: Nvidia Math Libraries for the Python Ecosystem
github.com·1h·
Discuss: Hacker News
⚡SIMD Optimization
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Authorizing access to data with RAG implementations
aws.amazon.com·10m
🔐Capability Systems
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·2d
✅Format Verification
'Like talking on the telephone': Quantum computing engineers get atoms chatting long distance
phys.org·5h
⚛️Quantum Tape
Netgate sponsors the modernisation of the FreeBSD variant of pf(4)
heise.de·9h
🛡️eBPF Programs
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Claude Can (Sometimes) Prove It
galois.com·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Qwen models are now available in Amazon Bedrock
aws.amazon.com·1h
🧮Z3 Solver
Show HN: Vicoa – Code with Claude and Codex Anywhere (Laptop + Mobile + Tablet)
vibecodeanywhere.com·6h·
Discuss: Hacker News
📜Proof Carrying Code
Fast Fourier Transforms Part 1: Cooley-Tukey
connorboyle.io·1d·
Discuss: Hacker News, r/compsci, r/programming
📊Frequency Analysis
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
Rapid Prototyping of Chatbots with Streamlit and Chainlit
towardsdatascience.com·9h
🎙️Whisper